The Role of Mindfulness in the Regulation of Behavior Among Those Prone to Negative Urgency

Negative emotions can be challenging to regulate, and for some individuals can lead to failures of behavior regulation. The present study is an initial effort to explore the role that mindfulness may play in fostering effective behavior regulation among those prone to high negative urgency (NU). Eighty undergraduate students were recruited based on their high or low scores of NU. First, participants completed a self-report measure of mindfulness (Mindful Attention Awareness Scale; MAAS), an Emotional Go/No Go task in an fMRI scanner, and then reported alcohol consumption. Results showed that those with high in NU had low levels of mindfulness compared to those low in NU. Mindfulness predicted substance use at the one- month follow-up after controlling for the predictive roles of NU and gender. Further exploration of the underlying neural mechanisms of mindfulness is needed to better understand its impact on emotion- and self-regulatory processes, especially during difficult emotional experience

Model Checking Linear Logic Specifications

The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications. The fragment of linear logic we consider in this paper is based on the linear logic programming language called LO enriched with universally quantified goal formulas. Although LO was originally introduced as a theoretical foundation for extensions of logic programming languages, it can also be viewed as a very general language to specify a wide range of infinite-state concurrent systems. Our approach is based on the relation between backward reachability and provability highlighted in our previous work on propositional LO programs. Following this line of research, we define here a general framework for the bottom-up evaluation of first order linear logic specifications. The evaluation procedure is based on an effective fixpoint operator working on a symbolic representation of infinite collections of first order linear logic formulas. The theory of well quasi-orderings can be used to provide sufficient conditions for the termination of the evaluation of non trivial fragments of first order linear logic.Comment: 53 pages, 12 figures "Under consideration for publication in Theory and Practice of Logic Programming

Pool temperature stratification analysis in CIRCE-ICE facility with RELAP5-3D© model and comparison with experimental tests

In the frame of heavy liquid metal (HLM) technology development, CIRCE pool facility at ENEA/Brasimone Research Center was updated by installing ICE (Integral Circulation Experiments) test section which simulates the thermal behavior of a primary system in a HLM cooled pool reactor. The experimental campaign led to the characterization of mixed convection and thermal stratification in a HLM pool in safety relevant conditions and to the distribution of experimental data for the validation of CFD and system codes. For this purpose, several thermocouples were installed into the pool using 4 vertical supports in different circumferential position for a total of 119 thermocouples [1][2]. The aim of this work is to investigate the capability of the system code RELAP5-3D (c) to simulate mixed convection and thermal stratification phenomena in a HLM pool in steady state conditions by comparing code results with experimental data. The pool has been simulated by a 3D component divided into 1728 volumes, 119 of which are centered in the exact position of the thermocouples. Three dimensional model of the pool is completed with a mono-dimensional nodalization of the primary main flow path. The results obtained by code simulations are compared with a steady state condition carried out in the experimental campaign. Results of axial, radial and azimuthal temperature profile into the pool are in agreement with the available experimental data Furthermore the code is able to well simulate operating conditions into the main flow path of the test section

Gravity duals of supersymmetric gauge theories on three-manifolds

We study gravity duals to a broad class of N=2 supersymmetric gauge theories defined on a general class of three-manifold geometries. The gravity backgrounds are based on Euclidean self-dual solutions to four-dimensional gauged supergravity. As well as constructing new examples, we prove in general that for solutions defined on the four-ball the gravitational free energy depends only on the supersymmetric Killing vector, finding a simple closed formula when the solution has U(1) x U(1) symmetry. Our result agrees with the large N limit of the free energy of the dual gauge theory, computed using localization. This constitutes an exact check of the gauge/gravity correspondence for a very broad class of gauge theories with a large N limit, defined on a general class of background three-manifold geometries.Comment: 74 pages, 2 figures; v2: minor change

Numerical and experimental investigation for the performance assessment of full electric marine propulsion plant

The advantage of hybrid diesel-electric propulsion is well known in terms of fuel consumption, especially for ships with variegated speed profiles or with different propulsion loads. Nowadays several hybrid configurations are available and in the preliminary design phase, the selection of the best configuration among several options could be a time-consuming task. Therefore, in this paper, a methodology is proposed, based on the main propulsion design parameters, to identify the global ship energy efficiency in function of the operational profile, considering both design and off-design conditions. In order to validate the method, a sea trial campaign has been done and the records have been analyzed. The developed tool helps, during the design phase, to choose the optimal propulsion configuration, number, type, and size, of the main engines and generators. The methodology is used to compare two design solutions, a conventional diesel propulsion and a proposed full electric plant using a \u2018father and son\u2019 power generation

M-theory and Seven-Dimensional Inhomogeneous Sasaki-Einstein Manifolds

Seven-dimensional inhomogeneous Sasaki-Einstein manifolds $Y^{p,k}(KE_4)$ present a challenging example of AdS/CFT correspondence. At present, their field theory duals for $KE_4=\mathbb{CP}^2$ base are proposed only within a restricted range $3p/2\le k \le 2p$ as ${\cal N}=2$ quiver Chern-Simons-matter theories with $SU(N)\times SU(N)\times SU(N)$ gauge group, nine bifundamental chiral multiplets interacting through a cubic superpotential. To further elucidate this correspondence, we use particle approximation both at classical and quantum level. We setup a concrete AdS/CFT mapping of conserved quantities using geodesic motions, and turn to solutions of scalar Laplace equation in $Y^{p,k}$. The eigenmodes also provide an interesting subset of Kaluza-Klein spectrum for $D=11$ supergravity in ${\rm AdS}_4\times Y^{p,k}$, and are dual to protected operators written in terms of matter multiplets in the dual conformal field theory.Comment: v2 refs added. 19 pages 1 figur

Giant reed (Arundo donax L.) harvesting system, an economic and technical evaluation

The giant reed is a herbaceous energy crop that demonstrates a good adaptability for areas of central-northern Italy. However, its size and stem resistance to cutting pose problems for harvesting in relation both to the availability of suitable machinery and costs of the operation. A technical and economic evaluation has been conducted of a harvesting system based on an experimental machine, the biotriturator, developed by University of Bologna in collaboration with the Nobili Company (Bologna, Italy) and adapted to field operating conditions. The harvesting system consists of cutting-shredding and baling in a single pass. The system was evaluated by performing a winter harvest when the crop was in quiescence and had a low moisture content. The total harvesting costs were evaluated as 11.6 € Mg-1 dry biomass. Given that the estimated area that can be covered by the harvesting system was 123 hectares per year the system represents an effective solution for not very large areas and is therefore suitable for the Italian environment where average farm sizes are slightly over seven hectares (ISTAT, 2011)

Targeting the phosphatidylinositol 3-kinase/Akt/mechanistic target of rapamycin signaling pathway in B-lineage acute lymphoblastic leukemia: An update

Despite considerable progress in treatment protocols, B-lineage acute lymphoblastic leukemia (B-ALL) displays a poor prognosis in about 15–20% of pediatric cases and about 60% of adult patients. In addition, life-long irreversible late effects from chemo- and radiation therapy, including secondary malignancies, are a growing problem for leukemia survivors. Targeted therapy holds promising perspectives for cancer treatment as it may be more effective and have fewer side effects than conventional therapies. The phosphatidylinositol 3-phosphate kinase (PI3K)/Akt/mechanistic target of rapamycin (mTOR) signaling pathway is a key regulatory cascade which controls proliferation, survival and drug-resistance of cancer cells, and it is frequently upregulated in the different subtypes of B-ALL, where it plays important roles in the pathophysiology, maintenance and progression of the disease. Moreover, activation of this signaling cascade portends a poorer prognosis in both pediatric and adult B-ALL patients. Promising preclinical data on PI3K/Akt/mTOR inhibitors have documented their anticancer activity in B-ALL and some of these novel drugs have entered clinical trials as they could lead to a longer event-free survival and reduce therapy-associated toxicity for patients with B-ALL. This review highlights the current status of PI3K/Akt/mTOR inhibitors in B-ALL, with an emphasis on emerging evidence of the superior efficacy of synergistic combinations involving the use of traditional chemotherapeutics or other novel, targeted agents